Instance Verification Kit (IVK)

mutex lock @ [4769+24+/linux-3.19-rc1/include/media/videobuf-core.h]
Instance Signature: vb_lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
stream_next_buffer [15698+18+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
stream_next_buffer_check_queue [14806+30+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_dqbuf [16120+14+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_mmap_free [8960+18+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_mmap_mapper [26762+20+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_mmap_setup [10058+19+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_poll_stream [25566+20+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_qbuf [12301+13+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_querybuf [11721+17+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_queue_lock [4700+19+/linux-3.19-rc1/include/media/videobuf-core.h]
videobuf_queue_unlock [4816+21+/linux-3.19-rc1/include/media/videobuf-core.h]
videobuf_read_one [20223+17+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_read_start [23341+19+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_read_stop [23544+18+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_read_stream [23948+20+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_reqbufs [10356+16+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_stop [23716+13+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_streamoff [17764+18+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_streamon [16999+17+/linux-3.19-rc1/drivers/media/v4l2-core/videobuf-core.c]